Elaboration of methods for overloaded symbols based on class_def