changed some Type calls to Maglev::Type