oved some features and instances to algebra-extras