updated the type_ macro.

	- Formal args were not processed correctly.
	- Added new examples
	- Modfied style

Changes to be committed:
 * samples/inductive.typer