WIP: parse . in formulas

Adds support for . in formulas like '~ .' to the highlevel
interface, to indicate all otherwise unused variables.