applySpecialise : Ref Ctxt Defs => Ref MD Metadata => Ref UST UState => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Env Term vars -> Maybe (List (Name, Nat)) -> Term vars -> Core (Term vars)