Refactor existing instructions. Add heap-related instructions.