return type of expr