Changes to be committed:
* src/lparse.ml:
	- added type of types
	- added a new implementation of lexp_p_decls but commented it out
	as it requires handling shifting

Changes to be committed:
* src/builtin.ml: added (expand_)
* src/eval.ml: new function (from_lctx)
* src/lparse.ml: handle the macro case in lexp_call