type and eof expressions