Add wen.refine auxiliary functions to help users refine numbers

[mlopes]

Currently the users have to manually call refineV and pass a type parameter that reflects the type they're trying to refine to. We could create a wen.refine module with refinement functions specific for each type.