Types within LISSMAC