and special form evaluation
optimize type-of; implement OR