Finally got arrays into the statics and started type checking the quicksort example.