Test types

[anilanar]

We need type tests, possibly across ts versions, to confirm that types generated for mock functions/classes have correct types.