One character fix for #28

Bug was in prims.fst not in type-checker