add match expression type judgement