A proper internal representation (types not strings)!