Add type signatures and other small stylistic improvements.
Merge pull request #3 from Athas/master

Add type signatures and other small stylistic improvements.