globalize annotated CAFs
examples for higher ranked types
remove unneeded traces