Move BAut, Cantor, and BAut(Cantor) to Spaces/

Partial progress towards resolving #636.  Unless I messed up somewhere, this commit only moves existing code around.