Changes to be committed:
* btl/types.typer
* samples/qquote_temp.typer
	- started to implement qquote in typer
* src/builtin.ml
* src/eval.ml:
	- moved `sexp_dispatch` from builtin.ml to eval.ml
	(circular dependency). The good news being:
	Lparse.ml only need type0, type_int, etc from builtin.ml
	which means eval.ml is not going to need builtin.ml for much longer.

Fix macro handling

Changes to be committed:
* new file:   src/elexp.ml
	- (erase_type) convert lexp -> elexp
	- (elexp_location)
	- (elexp_print)
* src/lparse.ml:
	- eval evaluated '(Macro_ fun)' instead of '(fun List)'