Add description of Go type algebra and implement the assignableTo predicate.