adding && and || and letrec handling
adding boolean expressions to data
top-safe multiplication
Making the Makefile use ocp-build
adding MakeT functor
using Tlambda.tcontrol to store expressions
Syntax typos
MakeT type constraints
Adding tlambda to data deps
type constraint switching because, errrr, it works that way.