Start tlambda pretty printer