\chapter{Aspect-oriented Type Rules}
\label{chapt.aspect-rules}

%include ruler-aspect.lhs

%% %include ruler-tutorial.lhs