Added larger frontier test case to Tower. Added fixed-length vector types.
Added tower writeup