BasicObject
NOTE: Nothing and Just need to be initialized ahead of time so they're available for Contract definitions below.
Nothing
Just