use -- install or activate object

Ways to use use :

• use(Package) -- activate a previously dismissed package
• use(Monoid), see use(Ring) -- install ring variables and ring operations
• use(Ring) -- install ring variables and ring operations