ika.py, and Tree, Env class, and move cons to procs.py