Resolve all types and always use current module for templates.
Fixes to pointer handling.
Make verbose switchable.