re-implement hasAttachment directly in raw attachments
test legacy .filter support in for loop resugaring
add comments that explain new for loop enumerator encoding
add comments that explain FreshName extractor from Quasiquotes cake