Bugfix in type equality check for arrow types
Fixed the rule verification for the annotation based checker
Bugfix: annotate-type-missing was failing
Moved functions to extract error annotations
Use strip-annos in debug output to reduce length of output
Let extension and a simple test