first (and still quite unstable) preview of some new solver features