added Types::normalizeType