Actually export language names (for use from the REPL, etc.).