cleaned up types
removed ListT
cons
list