Add missing test files + first try of rule typing