[add some comments about the core type system
John Meacham <john@repetae.net>**20070509091713] hunk ./E/TypeCheck.hs 61
---    (*#!,*#!,*)
---    (*#!,(#),*)
---    ((#),*#!,!)
---    ((#),(#),!)
---    (**,*,*)  -- may have a function from an unboxed type to a value
+--    (*#!,*#!,*)  -- functions from values to values are boxed and lazy
+--    (*#!,(#),*)  -- functions from values to unboxed tuples are boxed and lazy
+--    ((#),*#!,!)  -- functions from unboxed tuples to values are boxed and strict
+--    ((#),(#),!)  -- functions from unboxed tuples to unboxed tuples are boxed and strict
+--    (**,*,*)     -- may have a function from an unboxed type to a value