support for typed context in weaving arguments