Add unfinished TypeableAlgorithm

Test suite is far from complete.