let ident_named_var name k t = 
    check_cpt k; (name,Some k,t,None)