merged -r1401:1409 from asterix_stabilization to asterix_stabilization_func_type_check; removed a file mistakenly committed in r1409.

git-svn-id: https://asterixdb.googlecode.com/svn/branches/asterix_stabilization_func_type_check@1410 eaa15691-b419-025a-1212-ee371bd00084