Add spec declarations for mnemosyne specs