Replying to "Type Ohypernurbs not valid?"