more doc. More types exposed. Fixed greeting with main