Use ! rather than $ for special return types and effect annotations

Use of $ in real properties is not uncommon. Also, this is consistent with
the paths built up by condense.js.