Support animation of machines

• Allow executing machine operations
• Allow passing arguments
• Allow executing an operation by predicate
• Allow storing an operation's return values (depends on #12)