Merge branch 'typed-holes' into 'master'

typed holes (with subterms) for shrinking

See merge request !27
1 job for master in 8 minutes and 11 seconds
Status Job ID Name Coverage
  Build
passed #1191436
build: [4.12.0]

00:08:11