k3-sle: Splitting ModelType/Metaclass inferrers