Horn 2, CS164's lexing/parsing framework