implement simple type checking of .Cons.2 alias

implement simple type checking of .Cons.2 alias #213