Term

A term is a syntactic phrase in a grammar that represents computation and evaluates to a value - unlike Expression which broadly encompasses any well-formed syntactic construct including types, patterns, and declarations.