The que-7 invariant expression should be operator = 'exists' implies (answer is boolean) instead of operator = 'exists' implies (answer is Boolean) (different capitalization) because FHIRPath is case sensitive (http://hl7.org/fhirpath/2018Sep/index.html#case-sensitivity)

Summary: Incorrect type capitalization in que-7 invariant expression.