Linear algebra with statically checked physical dimensions.