Started type_check function

ƪ(‾ε‾“)ʃ
╮(╯▽╰)╭

o͡͡͡͡͡͡╮꒰♡∇♡*꒱╭o͡͡͡͡͡͡