remove unused local typedef
remove backwards compatible code

now that we only build with dune >= 2.3, these blocks can go
quell a bunch of deprecation errors

just one left, which sit in dune 2.3 itself