AlgebraicJulia/Catlab.jl: v0.7.0

Catlab v0.7.0 Diff since v0.6.2 Closed issues: Register instances of a signature (#5) Rename "Doctrines" module to "Theories" (#146) Merged pull requests: Rename Doctrines module to Theories (#166) (@epatters) Computing pushouts of spans in FinOrd (#167) (@epatters) Update links for new AlgebraicJulia organization (#168) (@epatters) Binary colimits in FinOrd (#169) (@epatters) New logo for Catlab (#170) (@mehalter) Link to Catlab channel on Julia Zulip (#172) (@epatters) Binary limits in FinOrd (#173) (@epatters) Use macro in Base instead of Parameters.jl package (#174) (@epatters) Begin refactoring of GATs (#175) (@epatters) Proper typing of presentations (#176) (@epatters) GATs for categories with (co)limits (#177) (@epatters) Categories of matrices (#178) (@epatters) The distributive bicategory of relations FinOrdRel (#180) (@epatters) Remove the wiring layers submodule (#181) (@epatters) Implementation of Decorated Cospans (#183) (@mehalter) Release v0.7 (#186) (@epatters