restructured types for a more general system, parsing adts, types, very cool
now parsing type tuples
now generating type signatures from adt decs