Corrected define function, parametrized languages