added semantics; seems to be a problem with the application order of semantic representations after type-raising