typed assembly language