Add docs about optional type annotation to let/ec and let/ec:.