Reference and Proper Names: A Theory of N-movement in Syntax and Logical Form