Fix docs relevant to the deprecation of BuiltinTypes
Fix typoid inlining

This is a bit of a kluge, but my suspicions confirmed that these constants
weren't being properly folded.