annotate names in type signatures, fix #34
Merge branch 'annotate_signatures' into fragnix-haskell-names