Surface language

The user-facing syntax of a programming language, including Syntactic sugar and conveniences, as opposed to the Core calculus/language that programs are desugared into.