Automatically make SMT options from command-line option names, warn when not possible.
setType -> setOfType in language bindings, to fix problem on case-insensitive platforms; resolves bug #556.