Tagged linear-algebra