verify that nodes have been type annotated, annotate remaining nodes
Merge branch 'master' of https://github.com/mschuldt/maml