I would like to assert that the data that i receive matches the type annotations.
Assume the following types
exp
