Types within BLISS