properly diagnose uses of global names for values
instantiate machine classes to definitions in sema