Generate Typeable info at definition sites