[10-02-13] Type mutex defined. Some functions added to check types.