Support Union Type

[hanlindev]

1. Syntax '<Type 1> | <Type 2> | ...'
2. Success on first match.
3. Enforce the matched type only if it is enforced type (!). That is if 'string | number!' matches string, type will not be enforced.