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.
Metrics/MethodLength: Method has too many lines. [13/10]