simply typed lambda calculus

i’ll write this out one day but it’s a useful handle to have nonetheless