Text this: Smooth and F-smooth systems with applications to Covariant Quantum Mechanics