Merge jt

Few fixes in abstraction and small improvements (notable is the collapse of no-op determinization calls into a single registration, I'm curious how will this work in the webUI).