アトムでも複合項でもない「文字列」の型を導入している処理系だってあるし、
別に何でもいいのでは