a small bug fix in repl
a bugfix in :set limit xxx
fix built-in combinator reduction failure
add beta-equivalent function
fix a bug in beta-equivalent test
support parsing result expression into representive name