The ILLC Language in Interaction server