Add Function type so we can use it as a phantom type in Exp