Constellation cleanup

Just some mostly-mechanical refactoring to remove unnecessary mutability and unnecessary exports in constellation.rs.