sketched Functor_App normaliser; added remaining normalisers to be implemented, as comment;
sketched Functor_App normaliser;
added remaining normalisers to be implemented, as comment;

NaaS/motto,NaaS/motto