Some small refactors for deprecation

* namespace the Deprecated module
* add a spec for Deprecated module
* make the deprecated_alias api less flexible