Syntactic sugar

A more convenient or readable syntax that is transformed into a Core calculus/language construct, providing expressiveness without extending the language's fundamental semantics.