Added more comprehensive and robust typing system.

Added 'type' data type which represents the types of variables. Added
constants 'type_xyz' to stdlib which hold the type xyz. For example, to
check if a variable 'x' is numeric, one could use the expression:

    < type x type_num