Add warning about implicitly local HB.instance calls, improve error messages#561

lweqx wants to merge 3 commits into

math-comp:mastermath-comp/hierarchy-builder:masterfrom

lweqx:local-instances-in-builderslweqx/hierarchy-builder:local-instances-in-buildersCopy head branch name to clipboard