Expand meta information returned by text_to_logic

[mcalejo]

We could use LE template argument names to make the web API a bit nicer, but I couldn't find an simple way to percolate the extra needed information from predicate_decl (namely argument name and type) to the top text_to_logic top call.
Perhaps it could be added as extra subterms