new types, refactoring, SET instruction