Add tetrad representation; begin rotation code.