Enhanced engine with the ability to implicitly construct objects with a default constructor.  This is particularly convenient for accessing inference rule types.