Updating: overloaded symbol can now be introduced on the spot