first working state

Things like (define x 5) and (b+ 2 3) correctly work. More testing is needed.