Implemented inliner that can incrementally inline an expression using implementations in the context. This should help #40.