Add type Flambda.variable (a completely qualified identifier)
Fix 1: remove useless comment
Use type variable instead of Ident.t and abstract compilation unit symbols