@hackage keid-core0.1.5.0

Core parts of Keid engine.