Added style/syntax changes made to modules abstractions.

This was done by Kapil Arya, Niklas Nielsen, and myself.