Other stuff to be specified somewhere

[cwgoes]

From discussion with @vveiln @Michael:

• How are timestamps represented
• How is something like requesting randomness represented
• How do we pass controller-specific data (if applicable)
• How are FFI calls represented