Type system: method reshuffling and simplification