add validators for symbol, keyword, sequential, satisfies