#-*- mode: org -*-
The current implementation is tied heavily to the Java classes, making it fairly ugly to use. Before we start depending heavily on its internals, I want to rewrite it using deftype/defprotocol.
The InFrame/InReg types are fine, though.
I had to neuter the equality of any datatype that depends on (label), otherwise we can’t test them, because every (label) is unique. We need a special binding that will let us override the initial (label).
When we call a method on an object, I need to be able to calculate the address of the function at compile time, so I need its type.