update types; add instructions