fix number parsing, implement environment, more or eval, implement compound proc type