Initial commit of type marker preservation test case

A test case which will help to ensure that type markers are preserved
over any changes