One-line inference commands

Addresses #243. Provides an Infer abstraction. Does not provide a Learn abstraction.