Updating k formula and adding kmono

kmono is based on mono, updated for building from source