Learning and playing about witt regular expressions