TypeSquare implemented for paper