added predicates for quasiquote, unquote, unquote splicing
(tested) and added Build_if function(not tested).