e021: Keeping your types under cover

Using type aliases and creating custom type wrappers for more expressive and safer code.