wip
Merge branch 'master' of github.com:TiarkRompf/minidot
Merge branch 'master' of github.com:TiarkRompf/minidot
Merge branch 'master' of github.com:TiarkRompf/minidot
Merge branch 'master' of github.com:TiarkRompf/minidot
wip
wip
wip @namin

this one looks like it might work ...

still, 2 shotgun lemmas and 1 termination issue left