b2t not kicking in

```fstar
val id : 'a -> 'a
let id x = x

let test5 : Type = id true
```
```
File.fst(6,22-6,26): (Error 54) bool is not a subtype of the expected type Type
```

Reproduce the provided example in File.fst, especially the `let test5 : Type = id true` expression, and inspect the type-checking path for the reported Error 54. The issue does not name relevant source files or tests; done would require determining the intended b2t behavior and making the example typecheck without that error.

Written by the indexing model from the issue text.