TypeInference: added initial type of FunDecl to be annotation
re
re
TypeInference: removed PolyViolation