library inG instances should be local

Currently, the libG → inG instances in library are usually Global. This is bad, we should treat them as library implementation details and make them Local.