Having a class implement all typedef fields works perfectly. Just need to check if the blueprint type is compatible with the implementation type, ie a class with matching fields can be passed to method that requires a typedef. Class notation and that shit.

Also works on externs classes, but thats not hard.
Minor stuff, added isTypedef, isClass, isStructure etc for easy detection of haxe.macro.Type
Successfully found a way to test macro reification and macro methods. Simple when you see it :)