Add my pointsfree conversion tactics.
Administrivia