add some comments about the core type system
add some comments about the core type system

darcs-hash:20070509091713-1a7c6-f21b5a71c91dbac377a49400bab6baa9b45020b5

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc