SimplicityHL better interface support

[Arvolear]

Describe the feature

Simplex should support the new SimplicityHL interface witness generation once it's ready. The general idea is described here. This should significantly decrease boilerplate code writing.