tagged values are now pairs on their own
removed Tag
introduced Env
Env is just Val now.
refactored tests, improvements.
stuff