Added initial parser.
Removed unfinished converters.
Removed need for named lexer.
Added error response for Satifies()
Refactored nodes.