Promote the definition of valid object paths and signatures into the type system