O'Hugs computing environments

The main procedure in an ohugs program is executed if its type is (a subtype of ) env -> Cmd (), where env is one of the supported computing environment types.

Presently, the following environments are supported: