Validate `public` top-level exports are deterministic structs.

[vihanb]

Make sure public top-level assignment declarations are on deterministic compile-time operations (i.e. literals and maybe struct decl.)

public let a = 1 // OK

let a = 1
let b = a // OK

public let a = 1
public let b = a // Error