Fix spelling errors and clean useless comments
Fix instance layouting and computing of minimal height
Minor refactoring on Set refinement feature