Types systems explained