Added get.mz, a possible type-checker BUG? (but don't waste your time on it).