Add 'instantiate' keyword.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Fix syntax table to properly handle nested comments.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add an empty major mode for Literate Cryptol.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add shift/rotate operators.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Rejigger inf/fin highlighting.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add backtick symbol.

Signed-off-by: Austin Seipp <aseipp@pobox.com>