list, map guards
handle var parameters right
DeepFrozen guard, and some annotations.