program became set of definitions + expressions (added) + minor fixes