added direct tagging of specifiers through PTS as this avoids certain type instantiations that marker derivation can't prevent