Merge pull request #19 from lpw25/modular-implicits

Add forward type propagation over implicit function definitions
Move examples to the test suite
Merge pull request #22 from lpw25/test-examples

Move examples to the test suite