creates a Lens converting P to and from a String
function for formatting a P to String
function for parsing a String to P