Baire categories on small complexity classes and meager-comeager laws