reverse order of typechecks

Author: Tragicus

HB/common/database.elpi

@@ -392,9 +392,10 @@ pred mixin-instance-type->mixin-src
   i:list prop, % Cond list
   o:prop.
 
-mixin-instance-type->mixin-src (app _ as F) M I Decls Cond C :-
+mixin-instance-type->mixin-src (app _ as F) M I Decls' Cond C :-
   factory? F (triple _ _ Subject),
   safe-dest-app Subject Hd Args,
+	std.rev Decls' Decls,
   mixin-instance-type->mixin-src.aux Args Hd M I Decls Cond C.
 
 mixin-instance-type->mixin-src (prod N_ T F) M I Decls Cond (pi a \ C a) :-