Introduce vars and simplify Eval
let Read() read only one form