+ test for read only arity of FunctorCell
+ comments
+ skeleton for register bank