Text this: Approximation theory in up-algebras based on intuitionistic fuzzy sets