LA: Matrix arithmetics design pattern: Add, Subtract
LA: Matrix arithmetics design pattern: de-virtualize, fix forwards
LA: Arithmetics design pattern: collect abstract decls at top
LA: Matrix arithmetics design pattern: review arg checks and forwards