Added quotient set stub and various todos.