new 'int' and 'float' subcontracts for array
improvements on metaclass