semantic: Handle const(T)* and immutable(T)* conversions.
test: Update passing on bugs 8.