Add type checking to almost all the linkable ValueNodes.