Merged variable types (wildcard and type variables)

https://github.com/kfgodel/diamond/issues/25
Merge pull request #28 from kfgodel/25-Merge_wildcard_and_type_variable

Merged variable types (wildcard and type variables)