Types, diff generalised
updated README