type system updates & query explorer