/* HACK - Instant hack */

:- asserta((

defn( Term, edb,
		[ type(Type,Arg), ccreate(Type,Arg) ],
		[])
     :-	functor(Term,Type,1),
	istype(Type),
	!,
	arg(1,Term,Arg)
)).


:- asserta((

  defn( isa(T,X),edb,
		[ type(T,X), ccreate(T,X) ],
		[]  ) :- !
)).





