Type check function

**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

