Add macros for term creation

[joshrule]

Creating terms by hand requires a frustrating amount of tedious code. The parser makes it easier, but there are still cases where it's helpful to create them by hand. Adding macros to make this easier might significantly reduce the effort required.