@fancy-queen-20734 : hey, so with the native engine stuff, i'm leaning even further away from reifying

Rule

as a type