Add properties of Data.Refinement
and refactor module structure
#761
Loading
Data.Refinement
and refactor module structure
#761