Add a new assignable cache to the class hierarchy analysis

This cache records which types can be assigned to references of which
other types.