Continued Stefan `value_type` changes

(Broke Macro Handling)

Changes to be committed:
* src/env.ml	: value_type definition
	- no more `Value of lexp`

- Adapted Files
	* src/eval.ml
	* src/builtin.ml
	* tests/*