A{4, "W"}     // error
A{a:4, b:"W"} // an instance of A
A // in CTCE can be used to denote the class A, at runtime is an error (most likely)
B
B{} // if B has no fields, then an instance of B
A.f  // static version of f from A, if f has self parameter then it is unbound
A::f // or maybe this syntax, not sure