spec.cry should be speck.cry.
Fix formatting in speck.cry.
Minor whitespace tweak.
Simplify type constraints.