Documented most of 'Types'. Missing doc for: Contiuation combinators, JSTuple;