spec.cry should be speck.cry.
Fix formatting in speck.cry.
Minor whitespace tweak.
Simplify type constraints.
Merge branch 'master' of https://github.com/davidlazar/cryptol into davidlazar-master
Fixing makefile to be compatible with David Lazar's speck fix