UST Language Definitions