Remove legacy files from Tychaia.definition