Redefining term-level operations in terms of shape library.