kleisli: Fix non-determinism and update test models again

 * Remove non-determinism from queries too (allInstances())
 * Handle ordered sets as return values