Explain what Cryptol even is in the docs.
Improve cryptol filetype converage as per specification.