Give the type-checker hints to avoid annotations
Merge pull request #79 from darinmorrison/master

Give the type-checker hints to avoid annotations