I like the nxt and ardor concept, but i'm still a bit confused how does it differ from smart contract systems. can I write programs using it also?