add_shape is O(node population) for unindexed clauses: the whole other_shapes map is copied in and out of ETS per insert

add_shape is O(node population) for unindexed clauses: the whole other_shapes map is copied in and out of ETS per insert #5234