k3-sle: Manage both JvmType/JvmCustom annotation definition for aspects
k3-sle: Don't check aspects' operations' first argument name (actually we don't care)
k3-sle: Simple tests for aspects weaving and dynamic binding