start working on simply-typed lambdas
start working on simply-typed lambdas

Ignore-this: 69bea345376ea39cd1addc0849a43077

darcs-hash:20140219051238-f399b-0a1e54dbdc108bafbb98a6981ae1a50d4bacefe1

robdockins/domains