Added in-place fn test of contract application
Added in-place fn test of contract application
Added in-place fn test of arity1 contract
Added in-place fn test of arity1 contract
Added in-place fn test of partial contract with no requires
Added in-place fn test of partial contract with no requires applied to in-place fn
Added in-place fn test of partial contract with no ensures applied to in-place fn
Putting map test in place, but not running it yet