Updated Design.asta and associated docs