@fancy-queen-20734 : the datatype thing is turning into a bit of a boondoggle, imo. would be good to get back on the type verification.