fixed bug where data instances where not recalculated when importing modules in the type checker context
Added choice function to prelude.
fixed bug in CuMin prelude
CuMin modules loaded via Template Haskell will now be passed to the type checker before being spliced.
Added built-in data instance for Nat.