Version 1.1

Optimizations, bug fixes and new features (constant values) for article "Learning nominal automata".

Version 1.0

NLambda language described in article "SMT Solving for Functional Programming over Infinite Structures".