Add various number forms
Add form composition operator
Consistency
Add .ghci