initial coding of assembler
initial assembler code - typechecks