Introduced typedefs with integer types (fixes #20)