Added extended type to type variables

https://github.com/kfgodel/diamond/issues/141
Merge pull request #145 from kfgodel/141-superclass_for_variable_type

Added extended type to type variables