Added wildcard types and it spec

- Added type and spec
- Refactored typebounds