Section 1(a)2 - Running type

A running type is a kind of value.
The running types are run once, once, run forever and forever.