HomeIsabelle/Phabricator

adjusted printing of type annotations to accomodate Scala 3