Bugfix: [Int] constructor components are now accepted by the built-in type checker.