type inference equation solve
type infer