Output: added hook for extra information (for example annotated types of decls)