Added expression type chekcker (not finished yet).