Pretty print a list of types
Better type checking for type cast. Check for duplicate constructor names.