Add the posibility to type saved registers

[dbalatoni13]

This is often useful when a void* is cast to a specific type and loaded into a saved register. It should be tested whether it causes issues in optimized code.