added default values for type struct parameters
stopped running tail-call-eliminator on prelude code
Merge branch 'master' of https://github.com/DavidTimms/sonata
added properties to type declarations