SFINAE
Add support for auto subbing a matrix
Make expressions auto sub accessible
Test the new auto sub