Refactor exec functions into HOFs
Fix error in ISA implementation, first source of binary ops must be a register