Refinamento na mecânica de expressões puras