Function infer_to_logos 

pub fn infer_to_logos(ty: &InferType) -> LogosType

Convert a zonked InferType to LogosType.