started folding in type computation. adding specific types for lists, tuples, etc...