Contracts for datastructures?

[markuspf]

Introduce a way to check inputs for items being put into datastructures.

For instance for heaps, provide a way for the user to provide a function contract that validates that only integers a pushed onto the heap, otherwise errors.