Fix bug caused by intro of new entry-points to Portable

Now that Portable includes a bunch of things that used to be in U, some
forms of type abbreviation would result in an unloadable theory.

Test-case demonstrates the problem.