fix type of dot in main.py
fix quote op
fix atom op
 fix eq op
fix README