type(E: OBJECT): TYPE
/**/ L := [1,"a",2,"b",3,"c"]; /**/ [ X In L | type(X)=INT ]; [1, 2, 3] /**/ type(type(INT)); -- Type returns a value of type TYPE TYPE /**/ CurrentTypes(); [BOOL, ERROR, FUNCTION, ...]