Add notation for tyexists

1 job for ci/tyexist_notation in 12 minutes and 51 seconds (queued for 8 seconds)