Adding rules for tests and finished unary ops for head and tail