added support for wildcards in templates
added support for wildcards in bottom-up search
added extraction of library fragments from programs that might have wildcards in them
added support for wildcards in compression
fixed bugs in compression involving wildcards