Represents an item in a sugared
Represents a Pattern during the AST phase of compilation. A pattern is like a very general type, because Passerine uses structural row-based typing.
Represents an argument pattern, i.e. the mini language used to match macros.