cosmetic: introduced type families
cosmetic: cleaned up BuilderLike type class

Removed unnecessary type dependency in the type class BuilderLike
cosmetic: some cleanups done