Support inserting type signature for local declarations or selected expressions