fix typechecker at TypeIf, TypeWhile
add DefaultNullValue