A minimal set-theory-based stack programming language, yet expressive.