Implement detyping of local variable declaration