add instance binding and default implemtation binding
added a provides example
initial commit