3.2 Including/excluding checks

If we want to support compilation of unsafe code, we can wrap a use of these operations into a ##core#check form:

(##core#check (##sys#check-list ?OBJ ?LOC))

with normal compilation: the use of ##sys#check-list is included; with unsafe compilation: the whole form is excluded and replaced with an expression returning #t.