Clean up tl_find in FORTY.
Add important assert() for readability.
Add documentation for tag stack in FORTY.