More library functions
gitignore
Move type definition to lambda.ml
new file convert.ml