Typehint the annotations
We are currently using typehints for the IPP course and are considering running mypy over our test cases as well. However the yourtest and spectest annotations aren't typed, this means that these annotations untype our typed code.
This introduction might rely on python 3.10 features so feel free to also incorporate #27 (closed) in this issue.