The ANTLR 4 grammar behind HoloCalc.