sancus.model: allow writtable properties
sancus.utils: overload pairs/ipairs/next to support custom implementations
sancus.model: Add custom pairs() handler