A sublanguage of Sather used for introductory courses in

object-oriented design and typesafe programming.