I think FCM is still a thing in the new syntax, since there is a function in napkin called
Edit: According to the comment in the code, it seems the syntax is like:
module(module-expr : package-type)
Btw: This was the first time, I’ve been looking into this source and I found it right away. I think this is some evidence for the quality of the work which has been put into napkin.