Removed useless 'type MBool = bool'