Fixed function type in declaration and binded ident to args in env.mem in function definition.