Missing verification that a type has namevars

[DavidS]

There is currently no validation check that a type has (a) namevar(s). When a type without a namevar is loaded it leads to a plethora of "fun" and unhelpful exceptions.