Typing: added stub for InferDecl for FunDecls
Typing: completed inferDecl