remove a warning
support tuple syntax
revise the type-expression syntax the same as original syntax
clean