Once #1 is further progressed, return to consider emulated_datatype. It was necessary under the old datatype system and might still be now, but it's too much to think through now, so I'll wait until we reached those use cases and remove it then if it's not needed.
Once #1 is further progressed, return to consider
emulated_datatype
. It was necessary under the old datatype system and might still be now, but it's too much to think through now, so I'll wait until we reached those use cases and remove it then if it's not needed.