Remove the quantum operators from the simplified syntax (replaced by their actual implementation)
Organizing the code (1)
Organizing the code (2)
Organizing the code (3)
Added .hp and .prof files to gitignore
Modified the include option
Organize the constraints produced by the function 'constraint_typing' so that errors occuring during the typing of a
function application blame the argument instead of the function.
Several modifications of the lexing, parsing and manipulation of toplevel declarations:
  - lexing now uses ByteString for better efficiency (gain in time and space)
  - parser rejects top-level declarations binding more than a variable
  - toplevel declarations are not merged as was the case before
Move the implementation of quantum operations to the beginning of concerned modules
Modify the definition of the quantum library
Helper for creation of non-redundant named variables
PPrint instance declaration of type [Declaration]
Implemented closure conversion
Lifting of function definitions in closure-closed CPS expressions
Write the interface of modules QLib and Builtins, replace calls to 'Builtin' by the imported variable
Separate profiling options
Change the name of the NOT gate
Write printing functions for CPS expressions
Add missing builtin operations to interface
Correct error in closure conversion, typo in printing funtion