Kamil Trzcińśki authored Oct 12, 2019 and Matija Čupić committed Oct 28, 2019

Use post compose validation:
- ensure that bridge has a valid number of entries
- use simplifiable to construct need type
- use aspect with opt to indicate allowed opts