Specifies type for expression by assertion.