semantic: Add function to determine mutable indirection of a type.