improve contract-stronger for list-related contracts

also bring listof in line with the present
best practices of the contract library