More specs, changed THill marker to `↼', and started comparison implementation for all types. :P