Check types locally in triangular tests (#1308)

This makes it easier to run the tests without referring to global
variables. The main change is, instead of checking types as `t1 ==
UpperTriangular`, we use `A1 isa UpperTriangular`. This often makes a
section of code easier to reason about, as it uses `A1` in the following
function calls.

Author: jishnub