Typed markup language using TyXML