remove the list of Types

- originally these were for polymorphism, but they don't
  do it correctly and they were mostly just an artifact.