[ MAlonzo ] Added type signatures (and cosmetic changes)
[ MAlonzo ] Replaced 'parseWithMode' with 'parseModuleWithMode'
[ issue 1284 ] Removed tabs from MAlonzo
[ issue 1284 ] Added TODO to fix-agda-whitespace