Added conceptual tests for converting between types
Minor styling amends