semantic: Always type check storage type bases.