Add Smart Extensions and wf:json_encode/decode