Merge branch 'janno/fix-TargS-notation' into 'master'

Annotate telescope notations to support literal telescope arguments.

See merge request !375
5 jobs for master in 9 minutes and 12 seconds (queued for 3 seconds)