Initial Cryptol support - based off Haskell

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>