Changing interpretation through lua: empty types

[Broes De Cat]

If a type is parsed empty, all predicates over it are fixed to be completely false. Reinterpreting the type keeps those predicates false, which is not very intuitive.

Bug related to Universe management issues and autocompletion.