Types Checking

Calling Sequence:
type(exp, typeval)
Parameters:

exp	:	an expression
typeval	:	any type

Returns: boolean

Synopsis: The type uneval returns true if the type of evaluated exp is typeval. Otherwise, it returns false.

Examples:

> type(a, anything);
> type(5, integer);
> type('hello', string);