Remove unused syntax for 'InferRef' definitions
Was only meant to be temporary! (InferRef are names in where clauses whose
types are to be inferred)