[ fix ] Bloody whole-file n -> ns substitution!..
[ fix ] Keeping type information in the model

As well as dropping the `Type (Maybe a)` nonsense in the definition
of `Rec`.