type_check LitExps