Add and use a public prefix function.

This completes the first version of infix operators!
Achievement get.