Implement terminal symbol, empty, zero-or-more, one-or-more, optional, deferred