**Problem you want to solve** We have several evl-specific data types. (EventTuple etc.) They will increase in the future. **Possible solution to be implemented** We need type_check.cpp in evl/core/. **Importance** high