Add a `Text` substring function in codeworld-base

It would be great to add a function to get a subrange of a `Text` value in `codeworld-base`. Something like:

subtext :: (Text, Number, Number) -> Text
subtext (t, a, b) = T.take (b - a) (T.drop a t)

but with appropriate validation for non-integer parameters, etc.

まず codeworld-base 内の Text API を見つけ、既存の関数が数値引数をどのように処理しているかを確認します。issue では、関連する操作として T.take と T.drop が示されています。要求された subtext の動作を明確にして実装し、整数でないパラメータのバリデーションも含めたうえで、結果として得られる Text の範囲と無効な入力のケースを検証します。

索引モデルが issue の本文から書いたものです。