Better error when a cached implementation is missing
Accept 'main' on the root element

This is deprecated, but some feeds still use it.
Make SAT debugging less expensive