Fix: a minor bug in checking type for cyclic structure (causing GC problem);
Fix: a few minor bugs in handling named parameters.