Removed deprecated type synonyms from prelude