Main> Check the type of an expression
Main> Check the type of an expression
Main> Check the type of an expression
Main> Check the type of an expression
Main> Check the type of an expression
Main> Check the type of an expression
Main> 
Bye for now!
