Library enabling unique top-level declarations