More strict types and better type inference

[Kalin8900]

Please describe what you would like to see

Hello! I would like to have more strict typings and better type inference of the decorators.

Please describe the solution you'd like

I would propose using more generics and leaving any in Aspect declaration as default to have backward compatibility