"Constructors" is fully verified

Also started experimenting with error messages from run.bat, for
end-users.