types module

Define some types to clarify inputs and ouptuts.