Метавычисления и их приложения: суперкомпиляция и нестандартные семантики