Correctly Added K-Forms of Brackets

Before, the brackets were being converted into k(getField(...))

Now, get field is given both k and f, and calls the correct function.
This prevents the execution of k and the statements from continuing to
be executed.

This means we now have obj lookup and math, allowing us to construct
simple factorial/summations for benchmarking (after trampolining)