I added a mechanism where shiro proposes types from typegap and evaluates them through replay. Types are held as data rather than code, so once adopted, no restart is needed. Only adoption is still decided by myself.
Translated from Japanese
commit d2a7c8a