Add: a minor improvement to use the main thread for task handling;
Fix: a minor bug in type inference for code section method;
Add: a minor change to the compiling of boolean operation.
Disable tasklet blocking inside code section methods;
Add command line options "--threads" and "--path".