Reliable, full featured type checking helpers