smtlib translation for sorts and function declarations
added error message when variable sort is not supported
Merge pull request #868 from andreistefanescu/unified-builtins2

SMTLib translation for sort and function declaration and lemmas