つまりそのコードでごく基本的に使う型(というかなんというか)もユーザーが自作出来て静的型検査される言語環境が欲しい＞＜
組み込まれた型というかプリミティブな型をそのまま使う発想って、データ型の型安全の発想に反してるように感じるから＞＜