(b) Adding support for inferring time, depth, stack and rec bounds
(c) Adding support for compositional reasoning in inferrence of time bounds
(d) Adding support for estimating stack usage at runtime
(e) Adding support for fractional literals