Define Show (Static l a) using standalone deriving.
Expose StringLabel type.
Expose the Inject type class.
Implement @lmap :: (la -> lb) -> Static la a -> Static lb a@.
Implement resolution of GlobalName's.