Switch from import package to require bundle trying to fix a bogus compile error on newly provisioned workspaces.
Switch from import package to require bundle trying to fix a bogus
compile error on newly provisioned workspaces.

[Build]
tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus