No virtualization.
Disabling ascription and feature checking.
TypeTags, docs, no unnecessary reflective compilation.
All enabled.
Refactoring in Progress.
Modularized Type Transformers.
Cleanup.
Virtualization complete.
Modularization of YY. One test still not working.
Fixing the virtualization issue.
Modularization of YY
feature analyzer and ascription transformer added to config
PostProcessing(for classVirtualization) and pattern matching added
unused comments removed
Merge pull request #3 from amirsh/wip/classv

ClassVirtualization, Patter Matching
version updated to 2.10, ascription transformation works for pattern matching.
Merge pull request #4 from vjovanov/wip/classv

version updated to 2.10, ascription transformation works for pattern matching
HoleTypeAnalyser and liftTypes config added, hole method uses parameter index.

* A marker trait FullyUnstaged added, which specifies that all captured variables should be hole.
* A marker trait HoleTypeAnalyser added, which specifies that the captured variables which their type is passed to configuration as liftTypes should be lifted an other captured variables should be substituted by hole.
* HoleTransformation changed to include index of parameter instead of symbolId. So the variables with the same symbolId would have the same parameter index. So in the HoleTransformation we would create a holeTable which is mapping from symbolId to index. When we want to generate `interpret` invokation, the parameters would be ordered by their index to have a correct binding for them.
Merge pull request #6 from vjovanov/wip/classv

HoleTypeAnalyser and liftTypes config added, hole method uses parameter index.
logging all phases with level 2, details with level 3