sml-parser todo Lexer: Reverse DFAs IdDfa TypeIdDfa Patterns: Constructed pattern Infix value pattern Constructed patterns of either form require an environment of datatypes, which I don't currently have.