Types within ASL/Ramco