Multiple changes in Mirror

- Added the named_typedef<Metaobject, X> metafunction.
- Added the named_mem_var<Metaobject, X> metafunction.
- Added the elaborated_type<Metaobject> metafunction.
- Minor documentation updates.
- Added new test cases.