W4

Module input/output contracts

Describes version 2.0