Move Pos type to HBF.Types, add TapeState type
Import HBF.Types selectively
Change TapeState representation for better readability