Frex: Free Extensions for Normalization-by-Evaluation