Decl Prediction MrktA very simply prediction market implementation on using Essential's declarative smart contracts.rust