Examples and initial implementation