Macros For Typesafe Inheritance