Renamed the scheme package to theory and extended theories with namespaces