pretty printing terms and commands