resolve Qualifier sorts inside Bare