updated macro handling.

implemented type_ macro.
attributes are not working

Changes to be committed:
* modified:   btl/types.typer
* modified:   src/builtin.ml
* modified:   src/lparse.ml
	- updated macro handling
* new file:   samples/inductive.typer
	- type_ macro implementation