Remove Sort static members

To ensure correctness, pass appropriate sorts to FuncDecl
Add Z3's license
Create most common sorts
First version of array support