Much credit is due to Peter Musgrave (actually, almost everything I say in the optimization section I learned from him). I also want to acknowledge helpful conversations with the people of Wolfram Research. Unfortunately, this package is still an order of magnitude slower than the equivalent packages in grtensor as composed by Peter. I cannot imagine how he does it.