50 add proof status model

This shall fix #50. It just adds models. They will be used in the reasoning milestone later on. Views will be added in #1114.