Adding datum helpers to decode datum -> terms