Text this: Modular coinduction up-to for higher-order languages via first-order transition systems