A port of Bart Kiers's Tiny Lanugage from ANTLR3 to ANTLR4