Parameterized Aspect Types