FINEARCHS
FINEARCHS
> とりあえずプリミティブが何を指している用語なのか定義したほうが良さそうですね.. 現状の使われ方を見ると[第一級オブジェクト](https://github.com/aiscript-dev/aiscript/blob/master/docs/get-started.md#%E7%AC%AC%E4%B8%80%E7%B4%9A%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88)と盛大に被っている感じがあります
> 逆にプリミティブでないものってなんでしょうか？ 今は存在していませんが、any型やユニオン型とか…？
そもそもプリミティブなのは型なのか値なのか
型ごとに定義されているという特徴から、いっそ「型プロパティ」に改名するのはどうでしょう？
> 組み込みプロパティ？ 転じて物理的な型を「組み込み型」と呼ぶことができそうですね
とりあえずそのようにドキュメントを書き換えてみます
変数名やファイル名も書き換える場合、一応ホスト向けの破壊的変更になりますが（ほとんどのケースで影響がないとはいえ）nextの方にしたほうがいいですかね？
`if Is:ok(v) ...` とか…？
> `Core:type(v) == T`を`v is T`にする？ 同意見
どちらかと言うと型表記の方に補集合を表す表記方が欲しいような？