Normalise type before checking it's a valid postulate