Term Logic and Fix for Parser Bug

Added support for two-term predicates in Term Logic under the
traditional interpretation, described in
http://plato.stanford.edu/entries/square/.  Fixed an egregious error in
the parser which caused it to parse unparenthesized quantifications
incorrectly.  Incidentally changed the .NET version to 4.5.1.