converted refinement parameters into list of refinement criteria
[refinement] implemented user_ref2list for imposing fixed refinement types from user problems