Moved builtin macro implementation

Changes to be committed:
* btl/types.typer: change type of some accessors
* src/builtin.ml :
	- fix predef shifting
	- moved builtin macro implementation there
* src/debruijn.ml: remove dead code
* src/lparse.ml
	- builtin macro are now recognized inside (handle_macro_call)