Moving lambda subdirectory to bytecomp.

Don't mess with Ocamlbuild!
Update dependencies
Rewrite Lswitch to dispatch on variable rather than arbitrary expression
Bump
Bump
Modified type algebra and subtyping relation, introduced typechecker

Todo: parsing of types
Fix printing/parsing of lambda types
Make compiler compile.