Major refactoring of tests & type implementation to support fixed-length types