Buildable ADT: pkgBaseOf -> baseNameOf