basic type checking of aspects