An embedding of Cryptol in Agda