plotnik-bytecode 0.3.2

Bytecode format and runtime types for Plotnik.

This crate contains:

• Bytecode format definitions (Module, Header, instructions)
• Type system primitives (TypeKind, Arity, QuantifierKind)
• Runtime helpers (Colors, PredicateOp, DFA deserialization)