Added first draft implementation of type tracking extension.