Implement #!eof object in universal backend
For universal backend, add fields to threads to implement thread-join!