Merge branch 'add-constrained-types' into 'feature/new_tnnmg'

Add 'ConstrainedMatrix' and 'ConstrainedBitVector' to linearizations

See merge request !6
2 jobs for feature/new_tnnmg in 3 minutes and 31 seconds (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Test
passed dune:git--clang #6186

00:03:31

passed dune:git--gcc #6187

00:03:22