Removes duplicate of getFunctionDefinition in typechecker and atomicchecker. Now only in typechecker and called getFunctionHandle.