Writing Types in Computer & Software Engineering