type_check LitExp