failing test
failing test case
support string and char literals
Merge branch 'feature/literals' into loop
allow strict monotonic subexpressions in Deref()

We ignore UnknownDirection b/c * is not allowed on pointers.
Merge branch 'feature/deref_offset' into loop

Conflicts:
	test/sloopy/testmonp_ptr.c