typed instruction stack