Fixed bug in AnnotationTypeChecker.
Merge branch 'master' of github.com:pepijnkokke/pelican

Because Git does not have an operational semantics defined in terms of
separation logic.