Adding missing module specification
Commenting unimplemented instances