Expand the documentation of TYPE execution inside the shell

I've added an explanation of how to exactly execute TYPEs in the shell. Please pull

Greets!
*t