head$, tail$, empty?, and instr implemented