the type checking absolutely needs to be automated and the only reason i haven’t implemented it with a name and type dict is because i immediately fall into a mental rabbit hole regarding combining rules but instance checking is really, really easy to do and would be incredibly useful i think