remove unneeded existentials, fix Titan vertex signature