Prove Admitted theorems in types.ObjectClassifier

They are not very pretty, but they are no longer admits.  This is
partial work on #195.
Merge pull request #196 from JasonGross/remove-admitted-objclassifier

Prove Admitted theorems in types.ObjectClassifier