Improve support of testing recursive types

Base templated types like Vec, Matrix, and Pair can now be recursively nested and used in testing methods like test_equal and TryTypes.