Improving metaprogramming support

[rahulmutt]

@elfprince13 suggested that we look at the current state-of-the-art in statically typed metaprogramming and incorporate it into Eta eventually.

Paper - https://infoscience.epfl.ch/record/232427

Implementation in Scala - https://github.com/epfldata/squid