Improve constructor highlighting

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

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: support for properties

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: fix M-x cryptol-version

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: basic REPL support

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: stub-out (cryptol-backends) for now

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