Simplify code generation for bind.
Change grammar to reduce dispatch boilerplate.
Make length function a dispatch object.
Add list and record to annotation check.
Add todo note.