do not unify with the wrong type when checking constraints in EDisplay (closes #1939)
Fix to print "Void -> Bool" if TFunction has no args

As opposed to " -> Bool" as it was previously printing

Fixes #1940
Merge pull request #1941 from jasononeil/fixprintfunctionct

Fix to print "Void -> Bool" if TFunction has no args