Multiple changes

- Minor update of std::vector<T> registering.
- Updated the Mirror's traits.
- Added implementation for the mirror::category<X> metafunction.
- Added the mirror::is_a<X, Category> metafunction.
- Updated/simplified/added test cases.