Merge branch 'master', remote-tracking branch 'upstream/master'
RepTransformer fixed, Stager added, virtualized lambda wip
bug fix in Rep
bug fix in free variable analysis
a bug with local variables fixed, pardis rep type transformer added
bug fix in type transformation
reverting previous bug fix, because it causes more bugs
preprocessing added
unstage block added, struct/record wip
initial efforts for staging
Comming soon.
Update README.md
Rebase.
Demo.
Merged pardis plugin.
ScopeInjection improvement, a bug with ValDef ascription fixed
var arg ascription removed
apply virtualization added
Variable type transformation as well as read and assign virtualization fixed
bug with always treating as shallow fixed, bug with language virtualization in ValDefs fixed