Add pos to Pattern
Infer Pattern.Ctor