Martin Buchholz writes:
 Wouldn't we get a tremendous performance boost by having the
 lrecord_implementations_table indices be constant?  We would lose a
 level of indirection on every FOOP, because it would not have to
 examine lrecord_implementations_table itself. 
Yes, this is a great idea.  I think the reason the changeover to
minimal tagbits was a wash speedwise was because of increased
time spent type checking.  We got rid of the pointer masking and
unmasking, but almost all the type checks got more expensive.