Switched representations, added "solve" stub and test.