Updated subtyping implementation to match bug fixes in specification.
Added expression UIDs to parser.
Modified type system to require qualifiers on qualified expressions.