静的型付きスクリプト言語 Cotowali