* split program into several files
* start implementing evaluating function
* I don't have strategy for eval yet…

LATER
* typed syntax can be improved by putting typing environment in the type syntax