Added sameness for all exprs

Sameness was assumed to be "identical."
This was simply convenient for developing the rule based system.
Added Lexing of string, undefined behavior in Driver