Add special case for function applications in base type rule checks