Wrapper for more core arguments.
VarSet translation.
Types translation is fixed.
More tests.
Matrix multiplication example.