put prov dsl in namespace, update example files