Infer variable types [dev.]