fixing some bugs

Fixing the bugs which unified-builtins has now command lines for C, and fixing casting Type sort to SimpleType problem