Types Notebook for tatsuta (ps.gz, pdf)