Literal

type Literal

isPositiveLiteral

isNegativeLiteral

toVariable