Added equivilent types :)
Made equiv types work, involved adding string expander to varjo though
removed debugging stuff