Change nomenclature: parameterized -> indexed, Monad' -> IxMonad

Signed-off-by: Austin Seipp <mad.one@gmail.com>