single point of truth in block classes
whitespace
MatrixCall.typecheck
GEMM works with 0 as last element
logpy uses term
remove constant_args in dimensions