Initial clone commit
Made some progress with type infer