Print actual name of Library being compiled (instead of Library.mu)
LibraryGamma: experiment with simplified MATCH-COLLECTION/MATCH_LIST