added definition of composite, and remark about composites
added result about valuation being integrally closed, defined dominate