update
update
add typecheck for TUNIT, MAINBLOCK, SLIST, DECLARE, DEFINE, ASSIGN
remove CheckObjectType