Specify the final types by default.
Add vector scaling and addition to simplify other code.