some new features for the infrastructure, mostly type ordering and edsl combinators