Implement input function in CommandOps
Extract free terms
Attempt to infer local variable types from ru.Expr, but this doesn't work because type information is lost