Creates a new type check expression.
| expr |
an expression |
| type |
a data type |
| source |
reference to source code |
|
newly created type check expression |