semantic: When typing, account for possibility of a masked type.