Untyped with bools and peano arithmetic