Multiple changes

- Added a new mirror example.
- Added a utility script.
- Updated the mirror::elaborated_type metafunction.