An eUTXO language for IOTA