initial pair type
add pair functions to Foundation
eta reductions in Foundation
correctly infer expression type in match
behold, the strack trace