Austin Seipp

Simplify type of window/windowD

2

Closes #110.

Remove uses of `data-default`

1

While looking at the type signature of `window`, it uses `data-default` in order to provide default instances for various types. However, there are no *non* `Default` versions of these functions,...

#14 only dealt with Cryptol 1, but Cryptol 2 is trickier to support as it doesn't yet support the `-c` command line option.

This might be complicated due to the fact I don't know how to get the Isabelle theories publicly; Galois must provide them.

We should support both the `C` backend and translation via the (IMO much nicer) `sbv` backend.