docs, corrections inductive types.