Make arguments of t_var explicit
Define method declaration of GFJ as a dependent type