be inherited in inherit_special(), otherwise dynamic types don't
inherit these.

Also added some XXX comments about open ends.