Add a strong encoding type alias example

Fixes #171