less aggressive infer-tag
less aggressive subsume, fixes #19