Primitive functions

Includes digital logic primitive injection!
So... I somewhat take offense to the name `Unit`. Can we just call this "null" or "void" or "nil" or something that isn't used exclusively by haskell dweebs?