Studydocs: Always require type and add options.

Created by: NotSpecial

We do not wish to allow studydocs without type anymore, so the type field is not not nullable and required.

Furthermore, we wish to differentiate between spring and autumn exams for better filtering, so the previous exam type is replaced.

Closes #422