Compiler experimentations (TIM, STG, etc.)