adding typed instructions