hoc: Higher-Order Calculator