split type checker spec to variable and function checker