Adding marpa.def
Adding marpa.def: t+