tower: extended type synonyms, exports