start on STLC with fixpoints -- but without fixpoints for now
start on STLC with fixpoints -- but without fixpoints for now

Ignore-this: 3458bc18c73d967bef58418bc73e06cb

darcs-hash:20140317031953-f399b-8b327ab664251e3f2afd26a3881af21b541b7bb0

robdockins/domains