T­yp­e C­he­cker for the C­r­u­x Language