Weil group added, and other minor changes.

.... but not the Weil group for a variety, yet.