frege-repl-13 Support inline definition with type annotation