Added applicative constants

same comments