Do not throw error when codatatype is not well-founded.  Add option for disabling codatatype reasoning.  Minor cleanup.