document Eval::TypeTiny's evaluation environment
Attribute::Contract 0.03 has been released