escape type annotations (closes #2)