[Eugene-commits] 01/01: Rethink stereotypes and tag values API (fixes #4042)