replace some apply's by refine's#41

fblanqui wants to merge 2 commits intoDeducteam:masterDeducteam/lambdapi-stdlib:masterfrom

fblanqui:applyfblanqui/lambdapi-stdlib:applyCopy head branch name to clipboard