Added missing defs to compset for type inference on signatures