Added "event idiom" module
Added facts to enforce encryption and hashing cannonicity/determinism