functional postfix convertion