* now accepts strings as proposition symbols.
* lexer introducted.