A quantization of topological M theory