added conversion check for families in hsplits; example circle as pushout
fixed grammar
examples
removed parens
fix in eval; examples