Initial Cryptol plugin work.