- more simplification and unification of compound/enum types