removed an useless constraint on choose_fun

since we changed is_convertable in Type.cpp, this constraint is no longer needed now