Title: A higher-order calculus and theory abstraction