semantic: First pass at storage type canoninization.