debuginfo: Recursive types and some trait object pointer support

This pull request finally adds support for recursive type definitions and provides a stub implementation for object pointers.