use Coq's elaborator for factories and instances#109

gares merged 13 commits intomastermath-comp/hierarchy-builder:masterfrom

coq-elaborator-elpi-1.6math-comp/hierarchy-builder:coq-elaborator-elpi-1.6Copy head branch name to clipboard