Post #3433364

@fay59@tech.lgbt @fclc@mast.hpc.social my back-of-the-napkin design for this is basically exactly that, but I don’t think you need to let AP integers be reified at all necessarily, you can say that they are only allowed to exist as local variables or as parameters/returns of constant-evaluable functions