Add future types

[seniorjoinu]

For now future types are unclear, 'cause from candid spec it seems like values of the future types are packed inside a type definition table and not inside the the values part of the payload. It is also unclear how can we create a canister that sends us a value of future type to check this.

Needs a further investigation.