Second pass on function arguments.  Bad news: the dangling else issue
continues to bedevil me!  Even the unambiguous grammar for if-then-else
constructs in the Dragon Book doesn't work!  So for now we have a
shift/reduce conflict which Yacc is resolving using its default logic,
which I believe associates an else with the nearest if.  Also updated
the LRM concerning type conversions.