fixed dependent types
alloy 'views' model (unfinished)