Improved type inference#846

Open

supercooldave wants to merge 7 commits intoparapluu:developmentfrom

supercooldave:bottom

Commits on Jul 5, 2017

Finished
Dave Clarke
committed
Removed some junk
Dave Clarke
committed
Removed junk
Dave Clarke
committed
removed commented-out code
Dave Clarke
committed
Relaxed type of forward
Dave Clarke
committed
Fixed conflict
Dave Clarke
committed

Commits on Jul 10, 2017

Added test case for issue 784
Dave Clarke
committed