Revise CoolCereal: opcodes are now loaded individually rather than via libraries.