Basic checking for protected type bodies. Issue #71