remove NSV_λλ*, writing TypeOf

The NoSharedValue definitions for λλ were removed, since for any two
functions there exists a value which types to both (a function with an
argument of type bottom).