Add the singleton Constructor case to both InferSeq and Infer (and Subtyping) so that treecall works again