Add dance-space class and basic operations thereof
Pretty-print dance spaces
Documentation and formatting updates