*: make 'type' as a macro instead of a primitive, all test pass

[tiancaiamao]

• make 'type' as a macro
• override the symbol? primitive

S31 use something like (type XXX (list Symbol)), eval the second parameter will result in error. So type primitive should not be a primitive, it should be a macro-like so the evaluation rule can ignore the second parameter.

See https://groups.google.com/g/qilang/c/3ZhDzl_-e9s

Now all test S31 test pass using the interpreter mode.