Make all code examples typecheck

This gives them the > notation when printing.