Minimal attempt at a specifications library for D