Removed unneeded implicit designation in unit test
Added positional support

Also refined the Result type (defined in Interpreted.scala) to allow for
undefined equation invocations to be represented as None.