Adding integer to formal type system