Permit general type expressions in imports

Previously, only a single type reference was permitted after a : in an
import statement. Now, accept operators as well, and report correct
errors on malformed anonymous types.