Added views, some pseudocode API