inital commit
Fixed dependencies list and added a type signature for amb