Introduce NewTypes for Trial- and TestSpace

Closes #14 (closed).

Introduces NewTypes for Trial- and TestSpace such that mypy can check they are not confused.

• Had to change FunctionSpace from Protocol to ABC.
• Comparisons between test and trial spaces now trigger mypy warnings because we are comparing objects of different types. These warnings must be ignored which is a bit nasty but I think worth overall.
• Fixed typing of tests.
• This exercise revealed a few mix-ups of trial/test in the tests (mypy told me).

added bugfix label

requested review from @kohl

assigned to @he66coqe

approved this merge request

added 1 commit

• cec46554 - add abstract __eq__ to FunctionSpace and remove type ignore comments; implement __eq__ for EG

Compare with previous version

resolved all threads

changed the description

enabled an automatic merge when the pipeline for cec46554 succeeds

resolved all threads

merged

mentioned in commit e44b552f