> I've been thinking recently that types and compile time functions go hand in hand.

Type checking is a stage: http://lambda-the-ultimate.org/node/2575

Type systems as macros: http://lambda-the-ultimate.org/node/5426