Branch commit. Added forceresolve to operations like symmetric and eigenvalues (will go back and implement them in Lazy later).