strip out parametric annotations and app annotations, so we can write them without errors (they are noops currently)
add assert-equals to test module, allow lists to come back from racket functions, add a bunch of image functions to make seam carving work