Work in progress.
Using types to track normalized vectors.