Loving to learn theory: active learning modules for the theory of computing