[Type] add TypeInterface / add Type::matches / add vec and dict types.

[azjezz]

closes #128
closes #129

---

change-log:

Features:

• added Type\vec functions that returns a Type of vec<T> ( aka list<T>, T[] )
• added Type\dict function that returns a Type of dict<Tk, Tv> ( aka array<Tk, Tv> )
• added a new Type\TypeInterface interface that is implemented by all types.
• added Type::matches($value): bool method to check if the given value is of that type.

Deprecation:

• all Type\is_* functions have been deprecated, use Type\string()->matches($value) instead of Type\is_string($value)

Breaking changes:

• a new method matches has been added to Type\Type, if you have a type that extends this base class, you probably won't be effected, unless you have a method in your class named matches.

[coveralls]

Pull Request Test Coverage Report for Build 575979713

• 167 of 167 (100.0%) changed or added relevant lines in 27 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.002%) to 99.958%

---

Totals
Change from base Build 571224268:	0.002%
Covered Lines:	2403
Relevant Lines:	2404

---

💛 - Coveralls