Design a type-conversion/matching rules

[XChy]

Title: Design a type-conversion/matching rules
Description:
A good programming language needs a strong type system.
The foundation of type system is types' rules.
Currently, XSharp's type system is still weak, so we need to develop a good type rules for XSharp