Add forwards propagation over implicit function defintions
Merge pull request #19 from lpw25/modular-implicits

Add forward type propagation over implicit function definitions