AliEnv: updated header to 100 chars width
AliEnv: new menu, using tuples instead of "triads"