Add specs for shorthand new form
Implement shorthand new form in macroexpansion