no_coercians method; more type comparison stuff