definition module parse

from ast import :: AST
from Data.Either import :: Either
from StdOverloaded import class zero

:: Token
:: ParseState

instance zero ParseState

lex   :: [Char] -> [Token]
parse :: ParseState [Token] -> Either [String] AST