Does sage use essentially typeless language? If no, is there a way to output type in the shell, preferably always along with the answer. Just like Axiom does it:

```
(1) -> x := series 'x
(1) x
Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(2) -> (sin x) / (cos x)
1 3 2 5 17 7 62 9 1382 11 12
(2) x + ? x + ?? x + ??? x + ???? x + ?????? x + O(x )
3 15 315 2835 155925
Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
```