* src/syn/BoxedSdf2.sdf: changed grammar, now pp entries in attributes

	* src/boxed2sdf/boxed2sdf.str,
	* src/boxed2pp-table/boxed2pp-table.str,
	* src/pack-boxed2pp-table/pack-boxed2pp-table.str:
	tools upgrades for new grammar

	* test/simple.sdf,
	* test/inclusion.sdf,
	* test/defs.in: new grammar using

	* test/simple.test: bug correction