Made an outline for quotient type section.
Removed test stuff from InconsistentExtraction Coq module.