We could use the new syntax for predicates to indicate that if this produces `#t`, then the argument is a `Port`. @takikawa, what would the syntax be then?