Implementations of simple languages from part 1B semantics course