allow any chars in strings
Added binops check for type checker
Updated syntax and added binop example