add IsApplication
change IsApplication

run Eval when exp is variable
add ApplyProcedure