Instead of value, can we track types and functional signatures?

[bahmutov]

For example

const add(a, b) => a + b
add(2, 3) //>> number

[bahmutov]

Made this in #26 but need custom serializer for types, rather than simple typeof <var>. Especially for function signatures and array data items.