Modern, reliable, full featured type checking helpers