lexer: string literal fix
fix eq? eqv?
add library procedures
test code