You would just model this with two assets issued onto the chain, representing the two types of points. "Redemption" is what happens when the asset is transferred to the bank which promises to give the user real money in return, so no special on-chain logic is needed for it.