It's untyped then simply typed basic imperative language, which is more or less the first few courses of programming language theory 101.