Stencil fixes.
Add quasi-quoting for stencils.
Forgotten part of NewArray type annotation commit.
Add direct translation to typed first-order representation from higher-order representation.