No seg faults, just need to fix typechecking for 20, 21, 23 31, 40, 41, 42, 44, 53