Universe.has_global should be elidable

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Remove #if* and loop specializations that are not essential for semantics

Signed-off-by: Stefan Marr <git@stefan-marr.de>