Decorated Cospans and Corelations

[jpfairbanks]

This PR implements decorated cospans and corelations including the

1. API design: we introduce some abstract types along the lines of Category and Functor
2. Generic implementation based on the (functor,laxator) definition for cospans
3. Generic implementation of decorated corelations given the decorated cospans + restriction along monos defition
4. FinVect as decorate cospan and corelation

[github-actions]

Review Checklist

Does this PR follow the development guidelines? Following is a partial checklist:

Tests

• New features and bug fixes have unit tests
• New modules have tests that are ultimately called by the test runner (test/runtests.jl)
• Existing tests have not been deleted
• Code coverage >= 90% or reduction justified in PR

Documentation

• All exported functions, types, and constants have docstrings, written in complete sentences
• Citations are given for any constructions, algorithms, or code drawn from external sources

Other

• Style guidelines are followed, including indent width 2
• Changes breaking backwards compatibility have been approved