scala termlib documentation